$\forall$${\it es}$:ES, $A$:Type, $I_{1}$, $I_{2}$:AbsInterface($A$), $e$:E.
\\[0ex]($\uparrow$($e$ $\in_{b}$ [$I_{1}$?$I_{2}$])) $\Leftarrow\!\Rightarrow$ (($\uparrow$($e$ $\in_{b}$ $I_{1}$)) $\vee$ ($\uparrow$($e$ $\in_{b}$ $I_{2}$)))